BF[FU[A], GU[B]]